// Generated from mccproperty.g by ANTLR 4.0
package parser;
import org.antlr.v4.runtime.tree.*;
import org.antlr.v4.runtime.Token;

public interface mccpropertyListener extends ParseTreeListener {
	void enterComparer(mccpropertyParser.ComparerContext ctx);
	void exitComparer(mccpropertyParser.ComparerContext ctx);

	void enterSimple_formula(mccpropertyParser.Simple_formulaContext ctx);
	void exitSimple_formula(mccpropertyParser.Simple_formulaContext ctx);

	void enterXor(mccpropertyParser.XorContext ctx);
	void exitXor(mccpropertyParser.XorContext ctx);

	void enterComplex_expression(mccpropertyParser.Complex_expressionContext ctx);
	void exitComplex_expression(mccpropertyParser.Complex_expressionContext ctx);

	void enterInteger(mccpropertyParser.IntegerContext ctx);
	void exitInteger(mccpropertyParser.IntegerContext ctx);

	void enterProperty_set(mccpropertyParser.Property_setContext ctx);
	void exitProperty_set(mccpropertyParser.Property_setContext ctx);

	void enterAnonymous_bindings(mccpropertyParser.Anonymous_bindingsContext ctx);
	void exitAnonymous_bindings(mccpropertyParser.Anonymous_bindingsContext ctx);

	void enterProperty(mccpropertyParser.PropertyContext ctx);
	void exitProperty(mccpropertyParser.PropertyContext ctx);

	void enterMop(mccpropertyParser.MopContext ctx);
	void exitMop(mccpropertyParser.MopContext ctx);

	void enterUntils(mccpropertyParser.UntilsContext ctx);
	void exitUntils(mccpropertyParser.UntilsContext ctx);

	void enterIfs(mccpropertyParser.IfsContext ctx);
	void exitIfs(mccpropertyParser.IfsContext ctx);

	void enterSpace(mccpropertyParser.SpaceContext ctx);
	void exitSpace(mccpropertyParser.SpaceContext ctx);

	void enterSimple_formula_liveness(mccpropertyParser.Simple_formula_livenessContext ctx);
	void exitSimple_formula_liveness(mccpropertyParser.Simple_formula_livenessContext ctx);

	void enterOperator(mccpropertyParser.OperatorContext ctx);
	void exitOperator(mccpropertyParser.OperatorContext ctx);

	void enterNot(mccpropertyParser.NotContext ctx);
	void exitNot(mccpropertyParser.NotContext ctx);

	void enterAlgebra_operatorm(mccpropertyParser.Algebra_operatormContext ctx);
	void exitAlgebra_operatorm(mccpropertyParser.Algebra_operatormContext ctx);

	void enterSimple_expression(mccpropertyParser.Simple_expressionContext ctx);
	void exitSimple_expression(mccpropertyParser.Simple_expressionContext ctx);

	void enterComplex_formula(mccpropertyParser.Complex_formulaContext ctx);
	void exitComplex_formula(mccpropertyParser.Complex_formulaContext ctx);

	void enterSimple_formula_next(mccpropertyParser.Simple_formula_nextContext ctx);
	void exitSimple_formula_next(mccpropertyParser.Simple_formula_nextContext ctx);

	void enterAlgebra_operator(mccpropertyParser.Algebra_operatorContext ctx);
	void exitAlgebra_operator(mccpropertyParser.Algebra_operatorContext ctx);

	void enterSimple_formula_comparer(mccpropertyParser.Simple_formula_comparerContext ctx);
	void exitSimple_formula_comparer(mccpropertyParser.Simple_formula_comparerContext ctx);

	void enterIdentifier(mccpropertyParser.IdentifierContext ctx);
	void exitIdentifier(mccpropertyParser.IdentifierContext ctx);

	void enterSimple_formula_const(mccpropertyParser.Simple_formula_constContext ctx);
	void exitSimple_formula_const(mccpropertyParser.Simple_formula_constContext ctx);

	void enterX(mccpropertyParser.XContext ctx);
	void exitX(mccpropertyParser.XContext ctx);
}